Philosophical Logic
Fateme Sadat Nabavi; Hosein Kamkar; Zinat Ayatollahi; Alireza Shahbazi
Abstract
When formalizing the Islamic legal reasoning system, we encounter various categories of justifications which require different logical operators. For instance, certain ones possess a certain epistemic value; thus, accepting them necessitates accepting the accompanying causal and logical ramifications. ...
Read More
When formalizing the Islamic legal reasoning system, we encounter various categories of justifications which require different logical operators. For instance, certain ones possess a certain epistemic value; thus, accepting them necessitates accepting the accompanying causal and logical ramifications. However, there are other types of justifications that hold significance only within a legal system. These justifications may not necessarily have any direct bearing on truth or knowledge but are instead concerned with establishing the rules of institiuationThis article presents an axiomatic logical framework based on the "Count As" logic (logic of institutions) and non-monotonic logic, as well as the justification logic. This framework can represent the logical properties of two category of valid justifications in the Islamic Legal Reasoning, namely, Amaarat and Osul-al-Amaliyyah. In fact, the legal consequences of both as well as the rational consequences of Amaarat are valid, but the rational consequences of Osul-al-Amaliyyah are not accepted. Our framework can represent this difference.
fateme sadat nabavi
Abstract
In recent decades, formalization in mathematical structures has been developed in different areas with logical nature. These mathematical structures besides providing more precise and sufficient languages than natural ones, would be a base for constructing assistant software in these areas. One ...
Read More
In recent decades, formalization in mathematical structures has been developed in different areas with logical nature. These mathematical structures besides providing more precise and sufficient languages than natural ones, would be a base for constructing assistant software in these areas. One of these logic-nature areas is "osool'e fegh" which is the logic governing jurisprudential inferences in Islamic approaches. Hence, a mathematical logic for "osool'e fegh" would provide a useful device for both 'analyzing and comparison of jurisprudential inferences' and, 'designing assistant software'. In this paper we introduce our mathematical logic approach to "osool' e fegh". We search a determining logic for "ossl'e fegh" in the formal logic context, as it is in fact the "logic of Fegh". After a survey on different meanings of "vajeb" and its properties, which is the basic deontic concept in "osool' e fegh" literature, we construct a formal language for "logic of Fegh" according to dynamic logic and formalize some jurisprudential rules in this language.
